Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Fork algebras: past, present and future | Frias, Marcelo F. |
(2004) |
---------- | |
Libro |
Formalización del proceso de desarrollo de software | Haeberer, Armando Martín |
Ed. prelim.
(1988) |
Domicilio
|
---------- |
Libro |
Verificaçao e construçao de programas | Veloso, Paulo A. S. |
1a ed.
(1986) |
Domicilio
|
---------- |